In this paper we prove three theorems about first-order theories that are categorical in a higher power. The first theorem asserts that such a theory either is totally categorical or there exist prime and minimal models over arbitrary base sets. The second theorem shows that such theories have a natural notion of dimension that determines the models of the theory up to isomorphism. From this we conclude that $I(T, \aleph_\alpha) = \aleph_0 +|\alpha|$ where ℵ α = the number of formulas (...) modulo T-equivalence provided that T is not totally categorical. The third theorem gives a new characterization of these theories. (shrink)

Ethical cultures, corporate social responsibility (CSR), and sustainability strategies are increasingly being addressed through formal organisational policies and structures. This is evidenced by codes of ethics, conduct, whistle-blowing reporting lines, anti-bribery and corruption policies, and broader stakeholder and environmental engagement strategies. In the United States, corporate ethics managers are responsible for these functions, supported by specific professional and university-level qualifications. However, this is not the case in Australia and Asia where the role appears delegated to human resource personnel in organisations. (...) Human resource management (HRM) is increasingly advanced as a formal profession, yet whether corporate ethics content features as a significant component of the HRM profession is unclear. Expert knowledge is a foundation of a profession along with the duty to act within the limits of that knowledge and expertise. This paper scopes what constitutes professional expert knowledge. It examines corporate ethics expertise and HRM within this context. Major Australian and Asian organisations are examined to verify that HRM Departments, and thus HRM practitioners, are responsible for managing corporate ethics. Given the seniority and strategic importance of this function, the content of selected Masters in HRM and related fields are examined to identify the extent of ethics content. This is considered in the light of the expertise required to manage corporate ethics, and conclusions are drawn whether the HRM discipline is appropriately qualified to manage this function. Finally, recommendations and further research towards advancing the role and function of corporate ethics managers in general are proposed. (shrink)

We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.

A countable, atomically stable structure U in a finite, relational language has fewer than 2 ω non-isomorphic substructures if and only if U is cellular. An example shows that the finiteness of the language is necessary.

We describe the Ax-Kochen definable subsets of the value group of a Hensel field and apply our results to a problem on identifying invariant factors in Hecke algebras.

We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure M. We prove that if T is a complete L-theory, then T is mutually algebraic if and only if there is some model M of T for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory T is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model M of T.

We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion $(M,A)$ by a unary predicate with the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class of elementary extensions of a fixed mutually algebraic (...) structure. (shrink)

By making plausible the Diversity Thesis (different people have systematically different and incompatible packages of epistemic intuitions), experimental epistemology raises the specter of the shifting-sands problem: the evidence base for epistemology contains systematic inconsistencies. In response to this problem, some philosophers deny the Diversity Thesis, while others flirt with denying the Evidence Thesis (in normal circumstances, the epistemic intuition that p is prima facie evidence that p is true). We propose to accept both theses. The trick to living with the (...) shifting-sands problem is to expand epistemology’s evidential base so as to include scientific evidence. This evidence can provide principled grounds on which to decide between incompatible intuitions. The idea of resolving inconsistencies in an evidential base by adding more independent lines of evidence is commonplace in science. And in philosophy, it is simplyWide Reflective Equilibrium.We contend that the idea that epistemology would depend crucially on scientific evidence seems radical because many traditional epistemologists practice reflective equilibrium that is WINO, Wide In Name Only. We suggest five different lines of scientific evidence that can be, and have been, used in support of non-WINO epistemological theories. (shrink)

We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas.

This paper looks at conflicts of interest in the not-for-profit sector. It examines the nature of conflicts of interest and why they are of ethical concern, and then focuses on the way not-for-profit organisations are especially prone to and vulnerable to conflict-of-interest scandals. Conflicts of interest corrode trust; and stakeholder trust (particularly from donors) is the lifeblood of most charities. We focus on some specific challenges faced by charitable organisations providing funding for scientific (usually medical) research, and examine a case (...) study involving such an organisation. One of the principal problems for charities of this kind is that they often distribute their funds within a relatively small research community (defined by the boundaries of a small region, like an American state or Spanish Autonomous region, or a small country), and it often proves difficult to find high-level researchers within the jurisdiction to adjudicate impartially the research grants. We suggest and recommend options appropriate for our case study and for many other organisations in similar situations. (shrink)

Fix a weakly minimal (i.e. superstable U-rank 1) structure M. Let M∗ be an expansion by constants for an elementary substructure, and let A be an arbitrary subset of the universe M. We show that all formulas in the expansion (M∗,A) are equivalent to bounded formulas, and so (M,A) is stable (or NIP) if and only if the M-induced structure AM on A is stable (or NIP). We then restrict to the case that M is a pure abelian group with (...) a weakly minimal theory, and AM is mutually algebraic (equivalently, weakly minimal with trivial forking). This setting encompasses most of the recent research on stable expansions of (Z,+). Using various characterizations of mutual algebraicity, we give new examples of stable structures of the form (M,A). Most notably, we show that if (G,+) is a weakly minimal additive subgroup of the algebraic numbers, A⊆G is enumerated by a homogeneous linear recurrence relation with algebraic coefficients, and no repeated root of the characteristic polynomial of A is a root of unity, then (G,+,B) is superstable for any B⊆A. (shrink)

We sharpen Hájek’s Completeness Theorem for theories extending predicate product logic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi\forall}$$\end{document}. By relating provability in this system to embedding properties of ordered abelian groups we construct a universal BL-chain L in the sense that a sentence is provable from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi\forall}$$\end{document} if and only if it is an L-tautology. As well we characterize the class of lexicographic sums that have this universality property.

Some children living with life-shortening medical conditions may wish to attend school without the threat of having resuscitation attempted in the event of cardiopulmonary arrest on the school premises. Despite recent attention to in-school do-not-attempt-resuscitation (DNAR) orders, no assessment of state laws or school policies has yet been made. We therefore sought to survey a national sample of prominent school districts and situate their policies in the context of relevant state laws. Most (80%) school districts sampled did not have policies, (...) regulations, or protocols for dealing with student DNARs. A similar majority (76%) either would not honor student DNARs or were uncertain about whether they could. Frequent contradictions between school policies and state laws also exist. Consequently, children living with life-shortening conditions who have DNARs may not have these orders honored if cardiopulmonary arrest were to occur on school premises. Coordinated efforts are needed to harmonize school district, state, and federal approaches in order to support children and families' right to have important medical decisions honored. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

We study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers R. We then show that a definable function in an o-minimal expansion of R enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of R. (...) Combining these results, we obtain several restrictions on possible o-minimal expansions of arbitrary Archimedean ordered groups and in particular of the rational ordered group. (shrink)

We show that if a countable structure M in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph _0}$ many structures are bi-embeddable with N. The proof proceeds by a case division based on mutual algebraicity.

We show that if T is a trivial uncountably categorical theory of Morley Rank 1 then T is model complete after naming constants for a model.

We study classes of atomic models \ of a countable, complete first-order theory T. We prove that if \ is not \-small, i.e., there is an atomic model N that realizes uncountably many types over \\) for some finite \ from N, then there are \ non-isomorphic atomic models of T, each of size \.

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure M is cellular if and only if M is \-categorical and mutually algebraic. Second, if a countable structure M in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many infinite MA-connected components. Towards these results, we introduce MA-presentations of a mutually algebraic structure, in which every atomic formula is mutually (...) algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA-presentation chosen. (shrink)

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel complete reduct, and if a theory T is not $\omega $ -stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

Over the past three decades, more and more students are expressing a desire to attend college, yet for many members of disenfranchised groups, this goal is often not attained. While many factors contribute to these disparities, research has shown that students begin adjusting their expectations (what they think they can achieve) for the future in relation to their idealised aspirations (what they would like to achieve). The current study explores this gap among 207 eighth grade students from two urban middle (...) schools. Using the School Attitude Assessment Survey-Revised, three factors were found to predict expectations which matched student aspirations. These factors were academic motivation and self-regulating behaviours, academic self-perception and attitudes towards teachers. Implications for educational interventions and school reform are discussed. (shrink)

The Emotional Competency Inventory framework of Daniel Goleman and Richard Boyatzis has gained significant impact in business leadership and management development. This paper considers the composition of the various versions of the ECI and its successor the Emotional and Social Competency Inventory to determine the nature of any appeal to ethics or moral competence within these frameworks. A series of concerns regarding the ethical limitations of the frameworks are presented with arguments supported by the relevant literature across the Emotional Intelligence (...) , competency theory and ethics fields. Based on a review of the ECI competencies in terms of their definitional constructs, it appears possible for an unethical manager or leader to demonstrate EI competence. Several cases involving high-profile business leaders, who were once lauded but later found to have acted unethically, are analysed. The authors consider the capacity of unethical leaders and managers to fulfil EI competence an issue of concern. The inclusion of an ethical management cluster and a number of competencies based on virtue ethics is proposed to meet this concern. Such an inclusion would address the critical issue of the purpose to which an EI competence is applied. Argument supporting the value of a virtue ethics approach as opposed to utilitarian or duty-based ethics approaches is also presented. Finally, a proposed exemplar of an ethically informed ECI framework is included for consideration. (shrink)

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablity and show that this lies strictly between VC-minimality and dp-minimality. To do this we prove a general result about set systems with independence dimension ≤ 1. Next, we define the notion of weak VC-minimality, show it lies strictly between VC-minimality and dependence, and show that all unstable weakly VC-minimal theories interpret an infinite linear order. Finally, we define the notion full VC-minimality, (...) show that this lies strictly between weak o-minimality and VC-minimality, and show that theories that are fully VC-minimal have low VC-density. (shrink)

Meaning has traditionally been regarded as a problem for philosophers and psychologists. Advances in cognitive science since the early 1960s, however, broadened discussions of meaning, or more technically, the semantics of perceptions, representations, and/or actions, into biology and computer science. Here, we review the notion of “meaning” as it applies to living systems, and argue that the question of how living systems create meaning unifies the biological and cognitive sciences across both organizational and temporal scales.

When the history of life on earth is viewed as a history of cell division, all of life becomes a single cell lineage. The growth and differentiation of this lineage in reciprocal interaction with its environment can be viewed as a developmental process; hence the evolution of life on earth can also be seen as the development of life on earth. Here, in reviewing this field, some potentially fruitful research directions suggested by this change in perspective are highlighted. Variation and (...) selection become, for example, bidirectional information flows between scales, while the notions of “cooperation” and “competition” become scale relative. The language of communication, inference, and information processing becomes more useful than the language of causation to describe the interactions of both homogeneous and heterogeneous living systems at any scale. Emerging scale‐free theoretical frameworks such as predictive coding and active inference provide conceptual tools for reconceptualizing biology as the study of a unified, multiscale dynamical system. (shrink)

Tragic choices arise during the COVID-19 pandemic when the limited resources made available in acute medical settings cannot be accessed by all patients who need them. In these circumstances, healthcare rationing is unavoidable. It is important in any healthcare rationing process that the interests of the community are recognised, and that decision-making upholds these interests through a fair and consistent process of decision-making. Responding to recent calls to safeguard individuals’ legal rights in decision-making in intensive care, and for new authoritative (...) national guidance for decision-making, this paper seeks to clarify what consistency and fairness demand in healthcare rationing during the COVID-19 pandemic, from both a legal and ethical standpoint. The paper begins with a brief review of UK law concerning healthcare resource allocation, considering how community interests and individual rights have been marshalled in judicial deliberation about the use of limited health resources within the National Health Service. It is then argued that an important distinction needs to be drawn between procedural and outcome consistency, and that a procedurally consistent decision-making process ought to be favoured. Congruent with the position that UK courts have adopted for resource allocation decision-making in the NHS more generally, specific requirements for a procedural framework and substantive triage criteria to be applied within that framework during the COVID-19 pandemic are considered in detail. (shrink)

Along with potential benefits to healthcare delivery, machine learning healthcare applications raise a number of ethical concerns. Ethical evaluations of ML-HCAs will need to structure th...

How can digitised assets of Galleries, Libraries, Archives and Museums be reused to unlock new value? What are the implications of viewing large-scale cultural heritage data as an economic resource, to build new products and services upon? Drawing upon valuation studies, we reflect on both the theory and practicalities of using mass-digitised heritage content as an economic driver, stressing the need to consider the complexity of commercial-based outcomes within the context of cultural and creative industries. However, we also problematise the (...) act of considering such heritage content as a resource to be exploited for economic growth, in order to inform how we consider, develop, deliver and value mass-digitisation. Our research will be of interest to those wishing to understand a rapidly changing research and innovation landscape, those considering how to engage memory institutions in data-driven activities and those critically evaluating years of mass-digitisation across the heritage sector. (shrink)

The 2018 Varsity Medical Ethics debate convened upon the motion: “This house believes that the constant monitoring of our health does more harm than good”. This annual debate between students from the Universities of Oxford and Cambridge is now in its tenth year. This year’s debate was hosted at the Oxford Union on 8th of February 2018, with Oxford winning for the Opposition, and was the catalyst for the collation and expansion of ideas in this paper.New technological devices have the (...) potential to enhance patient autonomy, improve patient safety, simplify the management of chronic diseases, increase connectivity between patients and healthcare professionals and assist individuals to make lifestyle changes to improve their health. However, these are pitted against an encroachment of technology medicalising the individual and home, an exacerbation of health inequalities, a risk to the security of patient data, an alteration of the doctor-patient relationship dynamic and an infringement on individual self-identity. This paper will draw upon and develop these concepts, while contending arguments for and against constant health monitoring. This is not a review of medical devices and health monitoring, but a reflective development and more detailed elaboration of the main points highlighted in the 2018 Varsity Medical Ethics debate. (shrink)

The 2018 Varsity Medical Ethics debate convened upon the motion: “This house believes that the constant monitoring of our health does more harm than good”. This annual debate between students from the Universities of Oxford and Cambridge is now in its tenth year. This year’s debate was hosted at the Oxford Union on 8th of February 2018, with Oxford winning for the Opposition, and was the catalyst for the collation and expansion of ideas in this paper.New technological devices have the (...) potential to enhance patient autonomy, improve patient safety, simplify the management of chronic diseases, increase connectivity between patients and healthcare professionals and assist individuals to make lifestyle changes to improve their health. However, these are pitted against an encroachment of technology medicalising the individual and home, an exacerbation of health inequalities, a risk to the security of patient data, an alteration of the doctor-patient relationship dynamic and an infringement on individual self-identity. This paper will draw upon and develop these concepts, while contending arguments for and against constant health monitoring. This is not a review of medical devices and health monitoring, but a reflective development and more detailed elaboration of the main points highlighted in the 2018 Varsity Medical Ethics debate. (shrink)

Caring for children with life-shortening illnesses is a humbling task. While some decisions are simple and safe, the emotionally-charged choices regarding how to best care for these children often...

We present a new road map for research on “How the Brain Got Language” that adopts an EvoDevoSocio perspective and highlights comparative neuroprimatology – the comparative study of brain, behavior and communication in extant monkeys and great apes – as providing a key grounding for hypotheses on the last common ancestor of humans and monkeys and chimpanzees and the processes which guided the evolution LCA-m → LCA-c → protohumans → H. sapiens. Such research constrains and is constrained by analysis of (...) the subsequent, primarily cultural, evolution of H. sapiens which yielded cultures involving the rich use of language. (shrink)

Physics has been thought to truly represent reality since at least Galileo, and the foundations of physics are always established using philosophical ideas. In particular, the elegant naming of physical entities is usually very influential in the acceptance of physical theories. We here demonstrate (using current developments in thermodynamics as an example) that both the epistemology and the ontology of physics ultimately rest on poetic language. What we understand depends essentially on the language we use. We wish to establish our (...) knowledge securely, but strictly speaking this is impossible using only analytic language. Knowledge of the meanings of things must use a natural language designed to express meaning, that is, poetic language. Although the world is really there, and although we can indeed know it truly, this knowledge is never either complete or certain but ultimately must rest on intuition. Reading a recently discovered artefact with a palaeo-Hebrew inscription as from the first century, we demonstrate from it that this ontological understanding long predates the Hellenic period. Poetic language is primary, both logically and temporally. (shrink)

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

We doubt that primary sociopathy is adaptive, for three reasons: First, its prevalence is too low to require an adaptive explanation. Second, a common sequela of damage to the orbito-frontal lobes is Any pattern of behavior that can be produced by brain damage is unlikely to be adaptive. Third, we argue that most human social behavior is not under tight genetic control, but is produced by open-ended calculation of fitness-contingencies.

We consider the question of when, given a subset A of M, the setwise stabilizer of the group of automorphisms induces a closed subgroup on Sym(A). We define s-homogeneity to be the analogue of homogeneity relative to strong embeddings and show that any subset of a countable, s-homogeneous, ω-stable structure induces a closed subgroup and contrast this with a number of negative results. We also show that for ω-stable structures s-homogeneity is preserved under naming countably many constants, but under slightly (...) weaker conditions it can be lost by naming a single point. (shrink)

Parental expectations have long been studied as a factor in increasing adolescent educational aspirations, often linking these expectations to parental level of education and involvement in academic endeavours. This study further explores this relationship in a statewide Midwestern sample of parents and their adolescent children. Regression analysis and independent samples t?tests were used to predict adolescent aspirations and compare groups. Results suggest that adolescent educational aspirations can to some degree be predicted by parental expectations. Parents reported high expectations for their (...) children despite low levels of personal educational attainment. However, these high expectations were buffered by a reported unfamiliarity with college requirements and an expressed concern about college affordability and limited awareness of financial aid opportunities. Limitations and suggestions for future research and intervention are discussed. (shrink)